Nuprl Definition : binary-fps 11,40
*50/50* == [(1/2); (1/2)] 
latex

clarification:

*50/50* == [(1/2) / [(1/2) / []]] 
latex

Definitions[car / cdr], (r/s), #$n, []
FDL editor aliasesbinary-fps

origin